Old Fashioned Pinto Beans Cooked With Ham Hock